1

Compactness and convergence of monotone subnets

Year:
2015
Language:
english
File:
PDF, 493 KB
english, 2015
3

Computability over models of decidable theories

Year:
2000
Language:
english
File:
PDF, 937 KB
english, 2000
4

Reducibility on families

Year:
2009
Language:
english
File:
PDF, 282 KB
english, 2009
5

A semilattice of numberings. II

Year:
2010
Language:
english
File:
PDF, 494 KB
english, 2010
6

Descriptive properties on admissible sets

Year:
2010
Language:
english
File:
PDF, 458 KB
english, 2010
7

Computability in special models

Year:
2005
Language:
english
File:
PDF, 342 KB
english, 2005
8

A certain reducibility on admissible sets

Year:
2009
Language:
english
File:
PDF, 217 KB
english, 2009
9

Existence of saturated structures

Year:
2011
Language:
english
File:
PDF, 151 KB
english, 2011
10

On a semilattice of numberings

Year:
2010
Language:
english
File:
PDF, 799 KB
english, 2010
11

Model Theory for Hereditarily Finite Superstructures

Year:
2002
Language:
english
File:
PDF, 301 KB
english, 2002
12

Decidable Computable A-Numberings

Year:
2002
Language:
english
File:
PDF, 252 KB
english, 2002
13

Fixed points for the jump operator

Year:
2011
Language:
english
File:
PDF, 1016 KB
english, 2011
14

Countably categorical theories

Year:
2012
Language:
english
File:
PDF, 932 KB
english, 2012
17

A Computable Structure with Nonstandard Computability

Year:
2017
Language:
english
File:
PDF, 115 KB
english, 2017
21

On the “Heap” problem

Year:
2019
Language:
english
File:
PDF, 370 KB
english, 2019
22

A Computable Structure with Non-Standard Computability

Year:
2019
Language:
english
File:
PDF, 999 KB
english, 2019